Estimating the Computational Cost of Logic Programs

نویسندگان

  • Saumya K. Debray
  • Pedro López-García
  • Manuel V. Hermenegildo
  • Nai-Wei Lin
چکیده

Information about the computational cost of programs is potentially useful for a variety of purposes, including selecting among diierent algorithms , guiding program transformations, in granularity control and mapping decisions in parallelizing compilers, and query optimization in deductive databases. Cost analysis of logic programs is complicated by nondeterminism: on the one hand, procedures can return multiple solutions , making it necessary to estimate the number of solutions in order to give nontrivial upper bound cost estimates; on the other hand, the possibility of failure has to be taken into account while estimating lower bounds. Here we discuss techniques to address these problems to some extent.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Unit commitment by a fast and new analytical non-iterative method using IPPD table and “λ-logic” algorithm

Many different methods have been presented to solve unit commitment (UC) problem in literature with different advantages and disadvantages. The need for multiple runs, huge computational burden and time, and poor convergence are some of the disadvantages, where are especially considerable in large scale systems. In this paper, a new analytical and non-iterative method is presented to solve UC p...

متن کامل

Lower Bound Cost Estimation for Logic Programs

It is generally recognized that information about the runtime cost of computations can be useful for a variety of applications, including program transformation, granularity control during parallel execution, and query optimization in deductive databases. Most of the work to date on compile-time cost estimation of logic programs has focused on the estimation of upper bounds on costs. However, i...

متن کامل

Presented a method for estimating the cost of software using PCA to reduce the size and with the help of data mining

  These days, data mining one of the most significant issues. One field data mining is a mixture of computer science and statistics which is considerably limited due to increase in digital data and growth of computational power of computer. One of the domains of data mining is the software cost estimation category. In this article, classifying techniques of learning algorithm of machine ...

متن کامل

Economic Analysis of Implementing Respirator Program or Ventilation System in a Manufacturing Environment

The techniques and methods of developing cost models for respirators are discussed. Models are developed and implemented in this study for nineteen types of respirators in two major classes (air-purifying and supplied-air) and one LEV system. One respirator model is selected for detailed discussion from among the twenty models. The technical cost method is used in constructing the cost models f...

متن کامل

Estimating The Mental Health Index in Iran Provinces using fuzzy logic

Healthy Community is one of the significant factors in the development of any country. Community health has different and diverse dimensions. Mental health is determined as an essential aspect of health. Mental health is determined as an essential aspect of health. Mental health is among the indicators that are affected by a variable factor such as social and macroeconomic variables. So far, se...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994